Linking Quality Attributes and Constraints with Architectural Decisions

Quality attributes and constraints are among the main drivers of architectural decision making. The quality attributes are improved or damaged by the architectural decisions, while restrictions directly include or exclude parts of the architecture (for example, the logical components or technologies). We can determine the impact of a decision of architecture in software quality, or which parts of the architecture are affected by a constraint, but the difficult problem is whether we are respecting the quality requirements (requirements on quality attributes) and constraints with all the architectural decisions made. Currently, the common practice is that architects use their own experience to design architectures that meet the quality requirements and restrictions, but at the end, especially for the crucial decisions, the architect has to deal with complex trade-offs between quality attributes and juggle possible incompatibilities raised by the constraints. In this paper we present Quark, a computer-aided method to support architects in software architecture decision making

The Alternative Migratory Pathways of the Drosophila Tracheal Cells Are Associated with Distinct Subsets of Mesodermal Cells

AbstractThe Drosophila tracheal system is a model for the study of the mechanisms that guide cell migration. The general conclusion from many studies is that migration of tracheal cells relies on directional cues provided by nearby cells. However, very little is known about which paths are followed by the migrating tracheal cells and what kind of interactions they establish to move in the appropriate direction. Here we analyze how tracheal cells migrate relative to their surroundings and which tissues participate in tracheal cell migration. We find that cells in different branches exploit different strategies for their migration; while some migrate through preexisting grooves, others make their way through homogeneous cell populations. We also find that alternative migratory pathways of tracheal cells are associated with distinct subsets of mesodermal cells and propose a model for the allocation of groups of tracheal cells to different branches. These results show how adjacent tissues influence morphogenesis of the tracheal system and offer a model for understanding how organ formation is determined by its genetic program and by the surrounding topological constraints

Preface

This CEUR volume contains the research proposals accepted for presentation at the 13th International Doctoral Symposium on Empirical Software Engineering (IDoESE 2015), held in Beijing, China, the 21st of October 2015, as an event integrated in the Empirical Software Engineering International Week (ESEIW), which remarkably included the world-leading Empirical Software Engineering and Measurement conference (ESEM 2015). The objective of the doctoral symposium is to provide junior researchers with the opportunity to present their work to the empirical software engineering community and receive valuable feedback from experienced researchers in that community. The symposium also aims at facilitating the exchange of ideas among young researchers. To do so, experienced members of the empirical software engineering community serve as symposium advisors and provide feedback to students presenting their work

Browsing a component library using Non-functional Information

This paper highlights the role of non-functional information when reusing from a component library. We describe a method for selecting appropriate implementations of Ada packages taking non-functional constraints into account; these constraints model the context of reuse. Constraints take the form of queries using an interface description language called NoFun, which is also used to state non-functional information in Ada packages; query results are trees of implementations, following the import relationships between components. We define two different situations when reusing components, depending whether we take the library being searched as closed or extendible. The resulting tree of implementations can be manipulated by the user to solve ambiguities, to state default behaviours, and by the like. As part of the proposal, we face the problem of computing from code the non-functional information that determines the selection process

Adding semantic modules to improve goal-oriented analysis of data warehouses using I-star

The success rate of data warehouse (DW) development is improved by performing a requirements elicitation stage in which the users’ needs are modeled. Currently, among the different proposals for modeling requirements, there is a special focus on goal-oriented models, and in particular on the i* framework. In order to adapt this framework for DW development, we previously developed a UML profile for DWs. However, as the general i* framework, the proposal lacks modularity. This has a specially negative impact for DW development, since DW requirement models tend to include a huge number of elements with crossed relationships between them. In turn, the readability of the models is decreased, harming their utility and increasing the error rate and development time. In this paper, we propose an extension of our i* profile for DWs considering the modularization of goals. We provide a set of guidelines in order to correctly apply our proposal. Furthermore, we have performed an experiment in order to assess the validity our proposal. The benefits of our proposal are an increase in the modularity and scalability of the models which, in turn, increases the error correction capability, and makes complex models easier to understand by DW developers and non expert users.This work has been partially supported by the ProS-Req (TIN2010-19130-C02-01) and by the MESOLAP (TIN2010-14860) and SERENIDAD (PEII-11-0327-7035) projects from the Spanish Ministry of Education and the Junta de Comunidades de Castilla La Mancha respectively. Alejandro Maté is funded by the Generalitat Valenciana under an ACIF grant (ACIF/2010/298)

HiME: Hierarchical i* Modeling Editor

In this paper, we present HiME, a tool for editing i* models. Thedistinguishing characteristic of HiME is its ability to deal with inheritance. It includes specific operations for declaring an actor as heir of another and then stating the relationships between the intentional elements of both actors